Header header
uint32 vector_length
uint32 height         # image height, that is, number of rows
uint32 width          # image width, that is, number of columns
Event[] events
